\functions {
int x0;
int x1;
int x2;
}
\problem {
\part[left](((((x0) - (x2))) >= (0)) & ((((x1) - (x2))) <= (1)) & ((((x1) - (x2))) >= (0)) & !((x0) = (x1)))
 &
\part[right](!((((x0) - (x1))) = (1)) & !((((x0) - (x1))) = (((0) - (1)))) & !((((x0) - (x1))) = (2)) & !((((x0) - (x1))) = (((0) - (2)))) & ((((x0) - (x2))) <= (1)))
 -> false
}
\interpolant{left; right}
